From d479cd810edc7596e3843f06a3aff5039070e753 Mon Sep 17 00:00:00 2001 From: "kaf24@scramble.cl.cam.ac.uk" Date: Fri, 2 Jul 2004 08:53:06 +0000 Subject: [PATCH] bitkeeper revision 1.1041.6.2 (40e52272y6_U6CzuMhfEqO8UT-l_fA) doc fix --- docs/HOWTOs/XenDebugger-HOWTO | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/HOWTOs/XenDebugger-HOWTO b/docs/HOWTOs/XenDebugger-HOWTO index 8d5dc69e69..1aba294abb 100644 --- a/docs/HOWTOs/XenDebugger-HOWTO +++ b/docs/HOWTOs/XenDebugger-HOWTO @@ -77,7 +77,7 @@ Serial Port Configuration one stream (without the high bit) is the console and one stream (with the high bit stripped) is the pdb communication. - See: xeno.bk/tools/nsplitd + See: xeno.bk/tools/misc/nsplitd nsplitd configuration --------------------- @@ -107,7 +107,7 @@ Serial Port Configuration characters received. You can connect to the nsplitd using - 'tools/xenctl/lib/console_client.py ' + 'tools/misc/xencons ' GDB 6.0 pdb has been tested with gdb 6.0. It should also work with -- 2.30.2